Deriving Safety Requirements for Autonomous Systems
نویسندگان
چکیده
In any safety engineering effort, deriving safety requirements is a key activity. Doing this for autonomous systems (AS) is challenging. However, several existing techniques can be pulled together to create a reasonable approach The risk of interaction between implemented requirements remains a concern, as does ambiguity about the appropriate boundary of the AS system. We believe these issues can be addressed by the development of advanced modelling and analysis techniques.
منابع مشابه
Are Autonomous Mobile Robots Able to Take Over Construction? A Review
Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...
متن کاملStructuring Safety Cases for Autonomous Systems
Def Stan 00-56 requires a safety case to be built before an autonomous system can be certified, but there is no current guidance on how such a case should be structured. The authors have reviewed several plausible approaches to structuring a safety case, including arguing human equivalence, deriving necessary capabilities from a Level of Autonomy scheme, and by deriving an explicit rationale fo...
متن کاملDeriving Safety Requirements as Part of System Architecture Definition
An essential basis for the development of safety-critical systems is to establish high-quality requirements specifications. However, there is little guidance on the formulation of requirements for the architectures of these systems. Existing approaches to eliciting safety requirements such as those advocated by ARP 4761 and 4754 focus on the hazard analysis of either purely functional requireme...
متن کاملFrom Safety Analysis to Software Requirements
Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-ti...
متن کاملScenario-based Automated Evaluation of Test Traces of Autonomous Systems
Testing the robustness and safety of autonomous systems (like domestic or manufacturing robots) is a challenging task since these systems can make decisions on their own depending on their environment. We proposed a model based testing approach to capture the context and basic safety-related behavioural requirements of such systems, and to generate test data representing stressful contexts. Dur...
متن کامل